17.25/20.87	unsat
