19.76/22.58	unsat
