19.37/19.63	unsat
