13.71/13.80	unsat
