17.71/17.77	unsat
