19.56/19.63	unsat
