17.56/19.87	unsat
