30.32/30.49	unsat
