68.88/71.85	unsat
