13.36/17.83	unsat
