17.76/17.87	unsat
