24.94/29.66	unsat
