18.47/19.73	unsat
