30.41/30.51	unsat
