68.97/71.81	unsat
