30.45/30.51	unsat
