13.71/13.83	unsat
