68.61/71.97	unsat
