30.34/32.90	unsat
