70.11/70.32	unsat
