28.16/28.26	unsat
