17.64/18.25	unsat
