27.92/28.05	unsat
