27.58/30.81	unsat
