28.49/29.13	unsat
