66.02/70.48	unsat
