60.23/64.66	unsat
