58.18/101.63	unsat
