30.14/30.49	unsat
