23.77/24.17	unsat
