61.92/64.31	unsat
