17.14/17.91	unsat
