30.22/30.51	unsat
