28.14/28.22	unsat
