17.15/18.96	unsat
