19.24/22.08	unsat
