14.78/17.85	unsat
