24.15/26.66	unsat
