19.76/21.59	unsat
