28.06/28.16	unsat
