27.23/28.29	unsat
