19.76/22.12	unsat
