18.75/18.87	unsat
