19.76/22.22	unsat
