63.97/64.48	unsat
