30.23/32.68	unsat
