30.95/32.32	unsat
