26.05/28.13	unsat
