69.99/71.28	unsat
