27.58/30.86	unsat
