19.56/21.63	unsat
