30.10/32.28	unsat
