70.27/71.44	unsat
