69.95/71.14	unsat
