26.13/28.12	unsat
