26.93/27.29	unsat
