17.95/18.08	unsat
