26.05/29.24	unsat
