24.42/28.66	unsat
