30.93/34.32	unsat
