29.45/31.83	unsat
