17.04/17.87	unsat
