58.48/58.68	unsat
