23.56/24.23	unsat
