70.93/71.32	unsat
