70.05/71.49	unsat
