17.35/18.78	unsat
