23.76/24.17	unsat
