18.74/18.87	unsat
