99.90/104.48	unsat
