24.24/28.23	unsat
