62.48/66.47	unsat
