27.46/30.42	unsat
