23.14/24.23	unsat
