17.85/18.41	unsat
