28.24/29.83	unsat
