17.85/18.18	unsat
