17.74/18.96	unsat
