17.78/17.87	unsat
