26.06/29.38	unsat
