19.08/21.63	unsat
