46.71/46.87	unsat
