17.58/18.72	unsat
