69.87/71.55	unsat
