18.47/19.90	unsat
