26.12/28.16	unsat
