27.12/29.83	unsat
