18.74/19.63	unsat
