69.19/71.25	unsat
