26.06/28.80	unsat
