14.28/24.85	unsat
