22.69/24.17	unsat
