20.35/24.17	unsat
