17.95/18.27	unsat
