19.55/22.17	unsat
